Einar Broch Johnsen (Author) / Najlacnejšie knihy

Books by author Einar Broch Johnsen

Showing 1 – 12 out of 12 results

Next

Page 1. out of 1

Previous

Sort by and show unavailable as well

  1. Logic of Software. A Tasting Menu of Formal Methods

    Logic of Software. A Tasting Menu of Formal Methods

    Einar Broch Johnsen, Richard Bubel, Bernhard Beckert | Springer International Publishing AG, 2022


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.97

    Sale 7 %
    You save 8.63 €
    Buy
  2. Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Marcello M. Bonsangue, Einar Broch Johnsen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.68

    Sale 7 %
    You save 4.28 €
    Buy
  3. Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Einar Broch Johnsen, Flavio De Paoli, Stefan Schulte | Springer International Publishing AG, 2017


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.68

    Sale 7 %
    You save 4.28 €
    Buy
  4. Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski | Springer International Publishing AG, 2016


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.68

    Sale 7 %
    You save 4.28 €
    Buy
  5. Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Marco Bernardo, Einar Broch Johnsen | Springer International Publishing AG, 2015


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    49.56

    Sale 7 %
    You save 4.17 €
    Buy
  6. Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Einar Broch Johnsen, Manuel Wimmer | Springer Nature Switzerland AG, 2022


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    41.36

    Sale 7 %
    You save 3.44 €
    Buy
  7. Tests and Proofs

    Tests and Proofs

    Sebastian Gabmeyer, Einar Broch Johnsen | Springer International Publishing AG, 2017


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.68

    Sale 7 %
    You save 4.28 €
    Buy
  8. Formal Methods for Executable Software Models

    Formal Methods for Executable Software Models

    Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen | Springer International Publishing AG, 2014


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.68

    Sale 7 %
    You save 4.28 €
    Buy
  9. Integrated Formal Methods

    Integrated Formal Methods

    Einar Broch Johnsen, Luigia Petre | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.68

    Sale 7 %
    You save 4.28 €
    Buy
  10. Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Einar Broch Johnsen, Ina Schaefer | Springer International Publishing AG, 2018


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.68

    Sale 7 %
    You save 4.28 €
    Buy
  11. Active Object Languages: Current Research Trends

    Active Object Languages: Current Research Trends

    Frank de Boer, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Eduard Kamburjan | Springer, Berlin, 2024


    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    74.44

    Sale 9 %
    You save 8.26 €
    Buy
  12. Theory and Practice of Formal Methods

    Theory and Practice of Formal Methods

    Erika Ábrahám, Einar Broch Johnsen, Marcello Bonsangue | Springer International Publishing AG, 2016


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.68

    Sale 7 %
    You save 4.28 €
    Buy

Next

Page 1. out of 1

Previous

Results on page

Refine results

Language
  • English12
Binding
  • Paperback12
Availability
  • Within 2 weeks11
  • Within a month1
Published
  • 20241
  • 20222
  • 20181
  • 20172
  • 20162
  • 20151
  • 20141
  • 20131
  • 20071
Price range

-



Collection points Bratislava a 12868 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies


Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: